$<\mathbb{N}$,+$>$ $\in$ OCMon